241. The seventeen provers of the world
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Data processing ; Algebra ; Computer programs ;
242. The seventeen provers of the world
پدیدآورنده : Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
243. The unprovability of consistency : an essay in modal logic
پدیدآورنده : George Boolos,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Modality )Logic(,Proof theory
رده :
BC
.
M6B66
199
244. Theism, atheism, and big bang cosmology
پدیدآورنده : Craig, William Lane
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، God-- Proof, Cosmological,، Big bang theory
رده :
BT
102
.
C73
1993
245. Theism, atheism, and big bang cosmology
پدیدآورنده : Craig, William Lane
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : Proof, Cosmological ، God,، Big bang theory
رده :
BT
102
.
C72
.
T43
246. Theism, atheism, and big bang cosmology /
پدیدآورنده : William Lane Craig and Quentin Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big bang theory.,God-- Proof, Cosmological.,Big bang theory.,God -- Proof, Cosmological -- Controversial.,God -- Proof, Cosmological.,literature.,Religion and science.,Religion Related to Science.,Big bang.,Dieu-- Existence-- Preuve cosmologique, Ouvrages de controverse.,Dieu-- Existence-- Preuve cosmologique.,Atheïsme.,Big bang theory.,God-- Proof, Cosmological.,Godsbewijzen.,Gottesfrage,Kosmologi.,Kosmologie,Kosmologie.,Oerexplosie.,Schöpfungslehre,Theïsme.,Urknall,Urknall.
رده :
BT102
.
C73
1993
247. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
248. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
249. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده : Richard J. Rossi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
250. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
251. Theoremus :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
252. Theories for admissible sets :
پدیدآورنده : Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Admissible sets,Definability theory (Mathematical logic),Proof theory
253. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده : Jager, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
254. Theory of proofs
پدیدآورنده : Open University
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O6
255. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
256. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
257. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
258. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
259. Tracking reason :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
260. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
